Thực đơn
Thomas Callister Hales Sự nghiệp toán họcHales, trước đây ở đại học Michigan, bây giờ là giáo sư Mellon về toán ở đại học Pittsburgh, ủng hộ việc hình thức hóa toán học để đảm bảo tính chặt chẽ trong một kỷ nguyên khi mà các chứng minh trở nên ngày càng phức tạp và máy tính dần trở nên cần thiết trong việc xác minh tính đúng đắn của các chứng minh. Dự án gần đây của Hales, có tên dự án Flyspeck, nhằm hình thức hóa chứng minh của ông cho giả thuyết Kepler sử dụng phần mềm chứng minh định lý HOL-Light.
Vào năm 2012, ông trở nhà hội viên hội toán học Mỹ (fellow of the American Mathematical Society).[4]
Thực đơn
Thomas Callister Hales Sự nghiệp toán họcLiên quan
Thomas Thomas Edison Thomas Müller Thomas Tuchel Thomas Jefferson Thomas Paine Thomas Friedman Thomas Vermaelen Thomas More Thomas CarlyleTài liệu tham khảo
WikiPedia: Thomas Callister Hales http://www.math.pitt.edu/~thales/ http://code.google.com/p/flyspeck/ http://www.umich.edu/~urecord/9899/Sep16_98/hales.... http://www.ams.org/profession/fellows-list http://www.genealogy.ams.org/html/id.phtml?id=7759... https://viaf.org/viaf/81256810 https://www.wikidata.org/wiki/Q1398901#identifiers https://catalogue.bnf.fr/ark:/12148/cb16694033t https://data.bnf.fr/ark:/12148/cb16694033t https://d-nb.info/gnd/137005822